退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有尺寸注释的代数构造微积分中类型检查的可确定性
Blanqui, Frédéric;
机译:(n + 1)值的Lukasiewicz命题演算中Moisil算子的代数构造
机译:代数构造微积分中的归纳类型
机译:具有代数算子的Lambda微积分系统模型的构建
机译:具有尺寸注释的代数构造微积分中类型检查的可判定性
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:代数几何中的残差计算和一些超越结果,I
机译:代数结构的微积分
机译:在建构微积分中形式化过程代数验证
机译:通用和代数构造的无竞争内存映射,用于所有可能大小的代数交错ARP(几乎规则排列)的并行Turbo解码
机译:减少用于调用通用对象模型对象的生成代码的大小,同时保留类型检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。